منابع مشابه
Causal automata
We introduce causal automata, a formalism based on a syntactic approach to causality in contrast to conventional approaches based on partial orders. Our main result is the following characterisation of Milner’s notion of confluence in CCS: Confluence ≡ Determinism + {AND,OR} Causality.
متن کاملCausal Automata I: Connuence Fand, Org Causality
In this paper we introduce causal automata, a formalism for reasoning about reactive systems. In contrast to other formalisms in common use, causal automata permit complex causal relationships to be speciied in a straightforward manner while having at the same time a simple and intuitive operational behaviour. Our main result, which follows on from earlier work in 4, 5], uses causal automata to...
متن کاملA Causal Analysis Method for Concurrent Hybrid Automata
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful modeling concept to capture such a system’s behavior in terms of hybrid automata for the individual system components and the concurrent composition of thereof. Because of the potentially large number of modes of the concur...
متن کاملCHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis
We propose and evaluate a new technique for learning hybrid automata automatically by observing the runtime behavior of a dynamical system. Working from a sequence of continuous state values and predicates about the environment, CHARDA recovers the distinct dynamic modes, learns a model for each mode from a given set of templates, and postulates causal guard conditions which trigger transitions...
متن کاملCausal Architecture, Complexity and Self-Organization in Time Series and Cellular Automata
All self-respecting nonlinear scientists know self-organization when they see it: except when we disagree. For this reason, if no other, it is important to put some mathematical spine into our floppy intuitive notion of self-organization. Only a few measures of self-organization have been proposed; none can be adopted in good intellectual conscience. To find a decent formalization of self-organ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1992
ISSN: 0304-3975
DOI: 10.1016/0304-3975(92)90052-h